how to prove irrational numbers contradiction